منابع مشابه
Subtractive logic
We present a formulae-as-types interpretation of Subtractive Logic (i.e. bi-intuitionistic logic). This presentation is two-fold: we first define a very natural restriction of the λμ-calculus which is closed under reduction and whose type system is a constructive restriction of the Classical Natural Deduction. Then we extend this deduction system conservatively to Subtractive Logic. From a comp...
متن کاملBaseline conditions and subtractive logic in neuroimaging.
Discrepancies in the patterns of cortical activation across studies may be attributable, in part, to differences in baseline tasks, and hence, reflect the limits of the subtractive logic underlying much of neuroimaging. To assess the extent of these effects, three of the most commonly used baseline conditions (rest, tone monitoring, and passive listening) were compared using phoneme discriminat...
متن کاملSubtractive Logic To appear in Theoretical Computer Science
This paper is the first part of a work whose purpose is to investigate duality in some related frameworks (cartesian closed categories, lambda-calculi, intuitionistic and classical logics) from syntactic, semantical and computational viewpoints. We start with category theory and we show that any bicartesian closed category with coexponents is degenerated (i.e. there is at most one arrow between...
متن کاملAutonomous robot behaviours for co-operative agents using fuzzy logic and subtractive clustering
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and effectively. In this paper both f i m y logic (FL) and subtractive clustering (SC) are used for the design of autonomous robot behaviours. The design procedure is conducted in two stages: first subtractive clustering is a...
متن کاملSuppression subtractive hybridization.
Suppression subtractive hybridization (SSH) is a widely used method for separating DNA molecules that distinguish two closely related DNA samples. Two of the main SSH applications are cDNA subtraction and genomic DNA subtraction. In fact, SSH is one of the most powerful and popular methods for generating subtracted cDNA or genomic DNA libraries. The SSH method is based on a suppression PCR effe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2001
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00124-3